1. ......................
پدیدآورنده : Edited by A. Gunther, B. Levrat and H. Lipps
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Electronic data processing,congresses ، Electronic digital computers - Programming
رده :
QA
76
.
I567
1973
2. ASIAN 2003 :--Advances in computing science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;
3. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
پدیدآورنده : Michael J. Maher )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321
4. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
پدیدآورنده : Vijay A. Saraswat, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
5. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
6. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
7. Algorithms and complexity ; new directions and recet results
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
8. Computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
9. Computer algebra and parallelism
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra- Data processing- Congresses,Parallel programming )Computer science(- Congresses,Parallel processing )Electronic computers(- Congresses
10. Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebra-- Data processing-- Congresses,، Parallel programming )Computer science(-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
155
.
7
.
E4
.
C6495
1992
11. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
12. Euro-Par 2015
پدیدآورنده : \ [Edited by] Sascha Hunold...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,پردازش موازی -- کنگره ها ,برنامهنویسی موازی -- کنگره ها ,دادهپردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
E92
2015
E-Book
,
13. Euro-Par 2015
پدیدآورنده : \ esper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامهنویسی موازی -- کنگره ها,دادهپردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
I58
E92
2015
E-Book
,
14. Fachtagung Prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Process control-- Data processing-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
TS
156
.
8
.
F32
1974
15. Fachtagung prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده : Von Gerhard Kruger und Rudiger Friehmelt
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Process control,Congresses ، Electronic digital computers -- Programming
رده :
TS
156
.
8
.
F35
16. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
17. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996
18. International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, Li،ge, Belgium, 4-7 April 1977
پدیدآورنده : International Computing Symposium, 5th, 7791, Li،ge, Belgium
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing - Congresses,، Computers - Congresses,، Programming )Electronic computers( - Congresses
رده :
QA
75
.
5
.
I57
1977
19. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده : A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
20. Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
پدیدآورنده : International Conference on Mathematical Studies of Information Processing, )8791, Kyoto, Japan(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing - Congresses,، Electronic digital computers - Programming
رده :
QA
75
.
5
.
I582
1978